/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#9=GRKB30/FONT#3=STA200/FONT#4=NGB25/FONT#10=BAXM30
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	zAugust 26, 1980 




␈↓ ↓H␈↓Dr. Daniel Bobrow
␈↓ ↓H␈↓Xerox Palo Alto Research Center
␈↓ ↓H␈↓3333 Coyote Hill Road
␈↓ ↓H␈↓Palo Alto, CA 94304

␈↓ ↓H␈↓Dear Danny:

␈↓ ↓H␈↓        Would␈α
you␈αask␈α
the␈α␈↓↓AI␈α
Journal␈↓␈αto␈α
print␈α
an␈αerratum␈α
to␈αmy␈α
"Addendum:␈αCircumscription␈α
and
␈↓ ↓H␈↓other Non-Monotonic Formalisms".  Equation (3) on page 172 should read

␈↓ ↓H␈↓        ␈↓
∃␈↓	F␈↓
.(Axiom(␈↓	F␈↓
) ∧ ␈↓	F␈↓
(train, tracks) ⊃ ¬safe-to-cross(tracks))␈↓.␈↓ '(3)



␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science